System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
231	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
232	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science
233	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
234	HIMA: A Hypervisor-Based Integrity Measurement Agent Ahmed M. Azab, Peng Ning, Emre C. Sezer North Carolina State University {amazab, pning, ecsezer}@ncsu.edu Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:25:58 Virtual machines Programming language implementation Hyper-V Kernel Hypervisor Ring Rootkit Xen Memory management unit System software Software Central processing unit
235	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
236	Notes on GenICode c Miguel Garcia, STS, Hamburg University of Technology http://www.sts.tu-harburg.de/people/mi.garcia February 22, 2010 Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2010-02-23 04:30:28 Java programming language Functional languages Cross-platform software Assembly languages Procedural programming languages Java ALGOL 68 Iterator Type system Computing Software engineering Computer programming
237	Tool Demo: Scala-Virtualized Adriaan Moors Tiark Rompf Philipp Haller ∗ Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Data types Type theory Functional programming Functional languages Procedural programming languages Scala Type system Anonymous function Domain-specific language Computing Software engineering Computer programming
238	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
239	An Assembler Programmer’s view of Linux for S/390 and zSeries SHARE 99 San Francisco, CA Session 8139 August 2002 Add to Reading List Source URL: linuxvm.org Language: English - Date: 2002-08-24 17:59:48 Linux Computing platforms Programming language implementation Linux on System z System call Operating system Linux kernel Kernel Assembly language Computing Software Computer architecture
240	The Generic Eclipse Modeling System Jules White, Douglas C. Schmidt, Sean Mulligan Vanderbilt University, EECS Nashville, TN, USA {jules,schmidt}@dre.vanderbilt.edu Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2007-06-19 10:22:00 Eclipse Generic Eclipse Modeling System Graphical Modeling Framework Eclipse Modeling Framework Domain-specific modeling Modeling language Model-driven engineering Domain-specific language Constraint programming Computing Software engineering Software

UPDATE